South Korea’s stock market